Homotopy Type Theoryの参考文献
HoTTの公式ページが提示している文献
References | Homotopy Type Theory
『Homotopy Type Theory : Project Description』. 2009.
『Homotopy type theory and Voevodsky's univalent foundations』. 2012.
『Homotopy Type Theory: Univalent Foundations of Mathematics』. 2013.
『Homotopy Type Theory 入門』. 2017.
『Introduction to Univalent Foundations of Mathematics with Agda』. 2019.
『Introduction to Homotopy Type Theory』. 2022.
『ホモトピー型理論』上村 太一. 2023.
n月刊ラムダノート「特集：計算とは何か」Vol.6, No.1(2026), 技術書出版と販売のラムダノート. 2026-01-15
スライド
『灼熱のホモトピー型理論入門』
動画
Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 1 - YouTube. CMU HoTT seminar, March 13, 2023
https://www.youtube.com/watch?v=5YOltuTcBK8
Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 2 - YouTube
https://www.youtube.com/watch?v=xWmELBvHMPo
Intro to Homotopy Type Theory. 2022/03/05. YouTube
https://www.youtube.com/playlist?list=PL245PKGUDdcN9-El9D7DRefwX4c9feiYq
Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1 - YouTube
https://www.youtube.com/watch?v=PejZfl5kOlU
Univalence Axiom関連の動画
CIRM - Videos & books Library - Search by event(英語設定で検索)
CIRM - Videos & books Library - Dans tout Kentika(フランス語設定で検索)
関連
ホモトピー論の参考文献
型理論の文献
#∞-トポス #∞-圏
#Homotopy_Type_Theory(HoTT)
#特定の文献リスト
#文献